Search results

stsys

String rewriting system (semi-Thue system)

• string
• semi-Thue system
• word problem
• completion
• rewriting
• SRS

mafu

published 1.0.0 • 3 years agopublished 1.0.0 3 years ago